package com.mikelouis.test.scala.proginscala.chapter14

import org.scalatest.FunSuite
import org.scalacheck.Prop._

/**
 *
 * Currently have compilation error, TBD
 *
 * Created by yuazhu on 1/18/2015.
 */
class Element2ScalaCheckTestSuite extends FunSuite {
  // TODO
  //  test("elem result should have passed with", (w: Int) =>
  //    w > 0 ==> (Element2.elem('x', w, 3).width == w)
  //  )
}
